COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	logic[w87,jmc]		Yet another try at Daedalus article
C00004 ENDMK
C⊗;
logic[w87,jmc]		Yet another try at Daedalus article

	Leibniz, Boole and Frege, three of the founders of mathematical
logic, all wanted to use it to express facts and correct reasoning
about the world and not merely for studying the foundations of
mathematics.  This goal proved extremely elusive, and was
abandoned by almost all mathematical logicians and philosophers.

	Thirty years ago the new discipline of artificial intelligence
began using logic to express an intelligent computer program's
goals, knowledge of the situation in which it must act and knowledge
of the effects of its available actions.  The task has proved difficult,
but there seems to be no good alternative.  A computer program's
deciding what to do increasingly takes the form of controlled logical
inference.

	As always happens when mathematics is applied, the AI use of logic
has led to new concepts and problems off the track internally motivated
reasearch in logic was following.  We mention specifically non-monotonic
reasoning, logic programming, new approaches to modality and (somewhat
futuristically) the formalization of context.

\section{Epistemology and Heuristics}